Pittsburgh

Results: 11770



#Item
301

Urban Redevelopment Authority of Pittsburgh (A Component Unit of the City of Pittsburgh, Pennsylvania) Financial Statements and Required Supplementary Information

Add to Reading List

Source URL: apps.pittsburghpa.gov

- Date: 2016-06-10 11:47:13
    302

    Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2013-06-08 14:51:39
      303

      PWSA CITY-WIDE GREEN INFRASTRUCTURE ASSESSMENT EXECUTIVE SUMMARY 1. “GREEN FIRST” – AN OVERVIEW Pittsburgh Water and Sewer Authority (PWSA, or Authority) has been developing its “Green First” program which, as

      Add to Reading List

      Source URL: apps.pittsburghpa.gov

      - Date: 2016-12-02 09:20:03
        304

        Challenges Facing a High-Level Language for Machine Knitting Lea Albaugh James McCann Disney Research Pittsburgh

        Add to Reading List

        Source URL: conf.researchr.org

          305

          SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2014-08-20 17:05:42
            306

            A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA

            Add to Reading List

            Source URL: people.mpi-sws.org

            - Date: 2016-10-22 08:05:55
              307

              dReal: An SMT Solver for Nonlinear Theories over the Reals? Sicun Gao, Soonho Kong, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We describe the open-source tool dReal, an SMT solver fo

              Add to Reading List

              Source URL: www.cs.cmu.edu

              - Date: 2013-11-08 01:07:52
                308

                Formatting instructions for NIPSDavid S. Hippocampus∗ Department of Computer Science Cranberry-Lemon University Pittsburgh, PA 15213

                Add to Reading List

                Source URL: media.nips.cc

                - Date: 2016-03-08 10:26:50
                  309

                  University of Pittsburgh School of Medicine

                  Add to Reading List

                  Source URL: health.pitt.edu

                  - Date: 2016-09-19 12:11:56
                    310

                    COMMONWEALTH OF PENNSYLVANIA DEPARTMENT OF ENVIRONMENTAL PROTECTION In The Matter Of: Pittsburgh Water and Sewer Authority Penn Liberty Plaza 1

                    Add to Reading List

                    Source URL: apps.pittsburghpa.gov

                    - Date: 2016-04-29 10:51:07
                      UPDATE